Association for Symbolic Logic

Association for Symbolic Logic (ASL)

Histoire

Fondation	1936

Cadre

Type	Organisme de recherche international
Forme juridique	Association à but non lucratif
Domaines d'activité	Logique philosophique, logique mathématique
Siège	Poughkeepsie (New York)
Pays	États-Unis
Langue	anglais

Organisation

Président	Julia Knight
Président	Alasdair Urquhart
Vice Président	Ulrich Kohlenbach
Secrétaire	Charles Steinhorn
Site web	www.aslonline.org

modifier - modifier le code - modifier Wikidata

L'Association for Symbolic Logic ou ASL, est une organisation internationale regroupant des spécialistes et chercheurs en logique mathématique et logique philosophique. L'ASL a été fondée en 1936^[1] et son premier président fut Alonzo Church. Le président actuel de l'ASL est Alasdair Urquhart (en).